#ifndef __HARDWARE_H__
#define __HARDWARE_H__

#define TICKS 390000000 / 200

#include "type.h"
#include "sbi.h"

void timerInit(void);
void setNextTime(void);

#endif